Bibliography of Team Automata

This paper introduces a mathematical model of groupware systems called Team Automata. We use this model at the architectural level, to describe components of a groupware system, and their interconnections. The multiple automata constituting the team interact via shared actions transitions which multiple automata perform synchronously together. The paper concludes by illustrating the application of this model to the analysis of real time shared application groupware. The model suggests that there are design alternatives for shared application groupware which have mostly gone unexplored. [2] M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg. Synchronizations in Team Automata for Groupware Systems. Technical Report TR-99-12, Leiden Institute of Advanced Computer Science, Leiden University, 1999. URL: http://fmt.isti.cnr.it/ mtbeek/TR-99-12.ps.gz Abstract: Team automata have been proposed in [1] as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronize on certain executions of actions. At the conceptual level, our model serves as a formal framework in which such basic groupware notions as cooperation and collaboration can be rigorously defined and studied. At the architectural level, team automata can be used as buildings blocks in the design of groupware systems. Team automata have been proposed in [1] as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronize on certain executions of actions. At the conceptual level, our model serves as a formal framework in which such basic groupware notions as cooperation and collaboration can be rigorously defined and studied. At the architectural level, team automata can be used as buildings blocks in the design of groupware systems.